DEF=nat
EXT=nat
TESTDIR=.
KOMPILE_BACKEND=haskell
KOMPILE_FLAGS=
KPROVE_FLAGS=

include ../../include/ktest.mak
